Nuprl Definition : es-in-port-conds
11,40
postcript
pdf
es-in-port-conds(
A
;
l
;
tg
) == rcv(
l
,
tg
) : <
A
,
s
,
v
. inl
v
>
latex
Definitions
x
:
v
,
rcv(
l
,
tg
)
,
<
a
,
b
>
,
x
.
A
(
x
)
,
inl
x
FDL editor aliases
es-in-port-conds
origin
s,v. inl v > s,v. inl v > x.A(x)